index(${\it dE}$;${\it dL}$;${\it pred?}$;${\it info}$;$p$;$r$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$mu($\lambda$$i$.eqof(${\it dE}$)($r$,receives(${\it dE}$;${\it dL}$;${\it pred?}$;${\it info}$;$p$;sender(${\it info}$;$r$);link(${\it info}$;$r$))[$i$]))